تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۱,۷۷ ثانیه یافت شد.

1. Lamport Algorithm Using Colored Petri Net with the Aim of Evaluating and Increasing Fault Tolerancy-Modeling Chandy

المؤلف: /ابراهیم محمد البیاتی، علمدار

المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)

موضوع: Formal Method, Asynchronous Distributed System, Verification, Model Checking, Global State, Distributed Snapshot, Fault tolerancy,روش صوری ، سیستم توزیع غیر همزمان ، تأیید ، بررسی مدل ، حالت کلی ، تصویر گیری توزیع شده ، تحمل خطا

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها